Recursive definition of arithmetic operators: How to memoize